| Ident. | Authors (with country if any) | Title |
|---|
| 000141 |
Marc F. Lensink [France] ; Sameer Velankar [Royaume-Uni] ; Andriy Kryshtafovych [États-Unis] ; Shen-You Huang [États-Unis] ; Dina Schneidman-Duhovny [États-Unis] ; Andrej Sali [États-Unis] ; Joan Segura [Espagne] ; Narcis Fernandez-Fuentes [Royaume-Uni] ; Shruthi Viswanath [États-Unis] ; Ron Elber [États-Unis] ; Sergei Grudinin [France] ; Petr Popov [France] ; Emilie Neveu [France] ; Hasup Lee [Corée du Sud] ; Minkyung Baek [Corée du Sud] ; Sangwoo Park [Corée du Sud] ; Lim Heo [Corée du Sud] ; Gyu Rie Lee [Corée du Sud] ; Chaok Seok [Corée du Sud] ; Sanbo Qin [États-Unis] ; Huan-Xiang Zhou [États-Unis] ; David W. Ritchie [France] ; Bernard Maigret [France] ; Marie-Dominique Devignes [France] ; Anisah Ghoorah ; Mieczyslaw Torchala [Royaume-Uni] ; Raphaël A G. Chaleil [Royaume-Uni] ; Paul A. Bates [Royaume-Uni] ; Efrat Ben-Zeev [Israël] ; Miriam Eisenstein [Israël] ; Surendra S. Negi [États-Unis] ; Zhiping Weng [États-Unis] ; Thom Vreven [États-Unis] ; Brian G. Pierce [États-Unis] ; Tyler M. Borrman [États-Unis] ; Jinchao Yu [États-Unis] ; Françoise Ochsenbein [États-Unis] ; Raphaël Guerois [États-Unis] ; Anna Vangone [France] ; João P G L M. Rodrigues [France] ; Gydo Van Zundert [France] ; Mehdi Nellen [France] ; Li Xue [France] ; Ezgi Karaca [France] ; Adrien S J. Melquiond [France] ; Koen Visscher [France] ; Panagiotis L. Kastritis [France] ; Alexandre M J J. Bonvin [France] ; Xianjin Xu [Pays-Bas] ; Liming Qiu [Pays-Bas] ; Chengfei Yan [Pays-Bas] ; Jilong Li [États-Unis] ; Zhiwei Ma [Pays-Bas] ; Jianlin Cheng [États-Unis] ; Xiaoqin Zou [Pays-Bas] ; Yang Shen [États-Unis] ; Lenna X. Peterson [États-Unis] ; Hyung-Rae Kim [États-Unis] ; Amit Roy [États-Unis] ; Xusi Han [États-Unis] ; Juan Esquivel-Rodriguez [États-Unis] ; Daisuke Kihara [États-Unis] ; Xiaofeng Yu [États-Unis] ; Neil J. Bruce [États-Unis] ; Jonathan C. Fuller [États-Unis] ; Rebecca C. Wade [États-Unis] ; Ivan Anishchenko [Allemagne] ; Petras J. Kundrotas [Allemagne] ; Ilya A. Vakser [Allemagne] ; Kenichiro Imai [États-Unis] ; Kazunori Yamada [États-Unis] ; Toshiyuki Oda [États-Unis] ; Tsukasa Nakamura [Japon] ; Kentaro Tomii [États-Unis] ; Chiara Pallara [Japon] ; Miguel Romero-Durana [Japon] ; Brian Jiménez-García [Japon] ; Iain H. Moal [Espagne] ; Juan Férnandez-Recio [Espagne] ; Jong Young Joung [Corée du Sud] ; Jong Yun Kim [Corée du Sud] ; Keehyoung Joo [Corée du Sud] ; Jooyoung Lee [Corée du Sud] ; Dima Kozakov [États-Unis] ; Sandor Vajda [États-Unis] ; Scott Mottarella [États-Unis] ; David R. Hall [États-Unis] ; Dmitri Beglov [États-Unis] ; Artem Mamonov [États-Unis] ; Bing Xia [États-Unis] ; Tanggis Bohnuud [États-Unis] ; Carlos A. Del Carpio [États-Unis] ; Eichiro Ichiishi [Japon] ; Nicholas Marze [États-Unis] ; Daisuke Kuroda [États-Unis] ; Shourya S. Roy Burman [États-Unis] ; Jeffrey J. Gray [États-Unis] ; Edrisse Chermak [Arabie saoudite] ; Luigi Cavallo [Arabie saoudite] ; Romina Oliva [Italie] ; Andrey Tovchigrechko [États-Unis] ; Shoshana J. Wodak [Canada] | Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment. |
| 000142 |
Viviana Loria-Kohen [Espagne] ; Isabel Espinosa-Salinas [Espagne] ; Helena Marcos-Pasero [Espagne] ; Thais Lourenço-Nogueira [Royaume-Uni] ; Jesús Herranz [Espagne] ; Susana Molina [Espagne] ; Guillermo Reglero [Espagne] ; Ana Ramirez De Molina [Espagne] | Polymorphism in the CLOCK gene may influence the effect of fat intake reduction on weight loss. |
| 000144 |
M. Rondy [France] ; J. Castilla [Espagne] ; O. Launay [France] ; S. Costanzo [Italie] ; C. Ezpeleta [Espagne] ; F. Galtier [France] ; K. De Gaetano Donati [Italie] ; A. Moren [France] | Moderate influenza vaccine effectiveness against hospitalisation with A(H3N2) and A(H1N1) influenza in 2013-14: Results from the InNHOVE network. |
| 000145 |
Benjamin Komac ; Pere Esteban [Espagne] ; Laura Trapero ; Roger Caritg | Modelization of the Current and Future Habitat Suitability of Rhododendron ferrugineum Using Potential Snow Accumulation |
| 000148 |
Vincent M. Brandenburg [Allemagne] ; Pieter Evenepoel [Belgique] ; Jürgen Floege [Allemagne] ; David Goldsmith [Royaume-Uni] ; Rafael Kramann [Allemagne] ; Ziad Massy [France] ; Sandro Mazzaferro [Italie] ; Leon J. Schurgers [Pays-Bas] ; Smeeta Sinha [Royaume-Uni] ; Vicens Torregrosa [Espagne] ; Pablo Ure A-Torres [France] ; Marc Vervloet [Pays-Bas] ; Mario Cozzolino [Italie] | Lack of evidence does not justify neglect: how can we address unmet medical needs in calciphylaxis? |
| 000154 |
Raymond Vanholder [Belgique] ; Denis Fouque [France] ; Griet Glorieux [Belgique] ; Gunnar H. Heine [Allemagne] ; Mehmet Kanbay [Turquie] ; Francesca Mallamaci [Italie] ; Ziad A. Massy [France] ; Alberto Ortiz [Espagne] ; Patrick Rossignol [France] ; Andrzej Wiecek [Pologne] ; Carmine Zoccali [Italie] ; Gérard Michel London [France] | Clinical management of the uraemic syndrome in chronic kidney disease. |
| 000676 |
Laura Bozzelli [Espagne] ; Bastien Maubert [France] ; Sophie Pinchinat [France] | Unifying Hyper and Epistemic Temporal Logics |
| 000680 |
Laura Bozzelli [Espagne] ; Hans Van Ditmarsch [France] ; Sophie Pinchinat [France] | The complexity of one-agent refinement modal logic |
| 000689 |
Mehdi Kaytoue [France] ; Victor Codocedo [France] ; Aleksey Buzmakov [France] ; Jaume Baixeries [Espagne] ; Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France] | Pattern Structures and Concept Lattices for Data Mining and Knowledge Processing |
| 000732 |
Andrés Cord N-Franco [Espagne] ; Hans Van Ditmarsch [France] ; David Fernández Duque [Espagne] ; Fernando Soler-Toscano [Espagne] | A geometric protocol for cryptography with cards |
| 000740 |
Laurent Calvier [France] ; Ernesto Martinez-Martinez [Espagne] ; Maria Miana [Espagne] ; Victoria Cachofeiro [Espagne] ; Elodie Rousseau [France] ; J Rafael Sádaba [Espagne] ; Faiez Zannad [France] ; Patrick Rossignol [France] ; Natalia L Pez-Andrés [Espagne] | The impact of galectin-3 inhibition on aldosterone-induced cardiac and renal injuries. |
| 000761 |
Ernesto Martínez-Martínez [France] ; Laurent Calvier [France] ; Amaya Fernández-Celis [France] ; Elodie Rousseau [France] ; Raquel Jurado-L Pez [France] ; Luciana V. Rossoni [France] ; Frederic Jaisser [France] ; Faiez Zannad [France] ; Patrick Rossignol [France] ; Victoria Cachofeiro [France] ; Natalia L Pez-Andrés [Espagne] | Galectin-3 blockade inhibits cardiac inflammation and fibrosis in experimental hyperaldosteronism and hypertension. |
| 000911 |
Mehdi Kaytoue [France] ; Victor Codocedo [France] ; Jaume Baixeries [Espagne] ; Amedeo Napoli [France] | Three Related FCA Methods for Mining Biclusters of Similar Values on Columns |
| 000B01 |
Jose Antonio Martin [Espagne] ; Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie] ; Ernesto Pimentel [Espagne] ; Mathieu Turuani [France] | On the Synthesis of Secure Services Composition |
| 000C26 |
Thanh Ha Do [France] ; Salvatore Tabbone [France] ; Oriol Ramos Terrades [Espagne] | Spotting Symbol Using Sparsity over Learned Dictionary of Local Descriptors |
| 000C91 |
Thanh Ha Do [France] ; Salvatore Tabbone [France] ; Oriol Ramos Terrades [Espagne] | New Approach for Symbol Recognition Combining Shape Context of Interest Points with Sparse Representation |
| 000D45 |
Hans Van Ditmarsch [France] ; David Fernández Duque [Espagne] ; Wiebe Hoek [Royaume-Uni] | On the definability of simulation and bisimulation in epistemic logic |
| 000D74 |
Jaume Baixeries [Espagne] ; Mehdi Kaytoue [France] ; Amedeo Napoli [France] | Characterizing functional dependencies in formal concept analysis with pattern structures |
| 000D75 |
Jaume Baixeries [Espagne] ; Mehdi Kaytoue [France] ; Amedeo Napoli [France] | Characterization of Database Dependencies with FCA and Pattern Structures |
| 000D84 |
Salvatore Tabbone [France] ; Oriol Ramos-Terrades [Espagne] | An Overview of Symbol Recognition |
| 000D94 |
Kattia Rojas Loría [Espagne] ; Teresa Gutiérrez Rosado [Espagne] ; Leonor María Cantera Espinosa [Espagne] ; Leda María Marenco Marrochi [Costa Rica] ; Anna Fernández Sánchez [Australie] | Trends in public health policies addressing violence against women |
| 000E24 |
Hans Van Ditmarsch [France, Espagne] ; Jérôme Lang [France] | Editorial introduction to the special issue LORI Guangzhou |
| 000E32 |
J. I. Lopez-Moreno [Espagne] ; J. Revuelto [Espagne] ; M. Gilaberte [Espagne] ; E. Moran-Tejeda [Espagne] ; M. Pons [Andorre] ; E. Jover [Andorre] ; P. Esteban [Andorre] ; C. Garcia [Espagne] ; J. W. Pomeroy [Canada] | The effect of slope aspect on the response of snowpack to climate warming in the Pyrenees |
| 000E45 |
P. Nuche [Espagne] ; B. Komac [Andorre] ; J. J. Camarero [Espagne] ; C. L. Alados [Espagne] | Developmental instability as an index of adaptation to drought stress in a Mediterranean oak |
| 001025 |
Thanh Ha Do [France] ; Salvatore Tabbone [France] ; Oriol Ramos Terrades [Espagne] | Document Noise Removal using Sparse Representations over Learned Dictionary |
| 001155 |
Franck Wartel [France] ; Leonidas Kosmidis [Espagne] ; Benoit Triquet [France] ; Eduardo Quinones [Espagne] ; Jaume Abella [Espagne] ; Adriana Geanina Gogonel [France] ; Andreea Baldovin [Italie] ; Enrico Mezzetti [Italie] ; Liliana Cucu-Grosjean [France] ; Tullio Vardanega [Italie] ; Francisco J. Cazorla [Espagne] | Measurement-Based Probabilistic Timing Analysis: Lessons from an Integrated-Modular Avionics Case Study |
| 001285 |
Samuel Cruz-Lara [France] ; Baltasar Fernández Manj N [Espagne] ; Carlos Vaz De Carvalho [Portugal] | Enfoques Innovadores en Juegos Serios |
| 001311 |
Emmanuel Marilly [France] ; Ioan Marius Bilasco [France] ; Et Al. [Espagne] | Empathic Products - D3.1 : Affective Technology - State of the Art |
| 001356 |
Francisco J. Cazorla [Espagne] ; Eduardo Quinones [Espagne] ; Tullio Vardanega [Italie] ; Liliana Cucu-Grosjean [France] ; Benoit Triquet [France] ; Guillem Bernat [Royaume-Uni] ; E. Berger [Espagne] ; Jaume Abella [Espagne] ; Franck Wartel [France] ; Michael Houston [Royaume-Uni] ; Luca Santinelli [France] ; Leonidas Kosmidis [Espagne] ; Codé Lo [France] ; Dorin Maxim [France] | PROARTIS: Probabilistically Analyzable Real-Time System |
| 001394 |
Andrés Cord N-Franco [Espagne] ; Hans Van Ditmarsch [France] ; David Fernández Duque [Espagne] ; Fernando Soler-Toscano [Espagne] | A colouring protocol for the generalized Russian cards problem |
| 001504 |
Ernest Valveny [Espagne] ; Mathieu Delalandre [France] ; Romain Raveaux [France] ; Bart Lamiroy [France] | Report on the Symbol Recognition and Spotting Contest |
| 001545 |
Riccardo Haupt [Italie] ; Milen Minkov [Autriche] ; Itziar Astigarraga [Espagne] ; Eva Sch Fer [France] ; Vasanta Nanduri [Royaume-Uni] ; Rima Jubran [États-Unis] ; R. Maarten Egeler [Canada] ; Gritta Janka [Allemagne] ; Dragan Micic [Serbie] ; Carlos Rodriguez-Galindo [États-Unis] ; Stefaan Van Gool [Belgique] ; Johannes Visser [Royaume-Uni] ; Sheila Weitzman [Canada] ; Jean Donadieu [France] | Langerhans cell histiocytosis (LCH): Guidelines for diagnosis, clinical work‐up, and treatment for patients till the age of 18 years |
| 001565 |
George Feuerlicht [République tchèque, Australie] ; Winfried Lamersdorf [Allemagne] ; Guadalupe Ortiz [Espagne] ; Christian Zirpins [Allemagne] | Introduction to the 8th International Workshop on Engineering Service-Oriented Applications (WESOA’12) |
| 001591 |
Sandro Javier Bola Os Castro [Colombie] ; Víctor Hugo Medina García [Colombie] ; Rubén González Crespo [Espagne, Niger] | Emerging Concepts between Software Engineering and Knowledge Management |
| 001654 |
Davide Bresolin [Italie] ; Dario Della Monica [Islande] ; Angelo Montanari [Italie] ; Guido Sciavicco [Espagne] | A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation |
| 001709 |
L. Trapero [Andorre] ; J. Bech [Espagne] ; J. Lorente [Espagne] | Numerical modelling of heavy precipitation events over Eastern Pyrenees: Analysis of orographic effects |
| 001712 |
B. Komac [Andorre] ; S. Kefi [France] ; P. Nuche [Espagne] ; J. Escos [Espagne] ; C. L. Alados [Espagne] | Modeling shrub encroachment in subalpine grasslands under different environmental and management scenarios |
| 001713 |
Marc Pons-Pons [Espagne, Andorre, Canada] ; Peter A. Johnson [Canada] ; Marti Rosas-Casals [Espagne] ; Barbara Sureda [Espagne] ; Eric Jover [Andorre] | Modeling climate change effects on winter ski tourism in Andorra |
| 001718 |
B. Komac [Andorre] ; C. Stefanescu [Espagne] ; R. Caritg [Andorre] ; M. Domenech [Andorre] | Forces driving the composition of butterfly assemblages in Andorra |
| 001755 |
Hans Van Ditmarsch [France] ; Tim French [Australie] ; Fernando R. Velázquez-Quesada [Espagne] ; Yi N. Wáng [République populaire de Chine] | Knowledge, awareness, and bisimulation |
| 001763 |
Jaume Baixeries [Espagne] ; Mehdi Kaytoue [France] ; Amedeo Napoli [France] | Computing Similarity Dependencies with Pattern Structures |
| 001853 |
Thanh Ha Do [France] ; Salvatore Tabbone [France] ; Oriol Ramos Terrades [Espagne] | Text/graphic separation using a sparse representation with multi-learned dictionaries |
| 001904 |
Jaume Baixeries [Espagne] ; Mehdi Kaytoue [France] ; Amedeo Napoli [France] | Computing Functional Dependencies with Pattern Structures |
| 001A01 |
Tim Reiner [Allemagne] ; Sylvain Lefebvre [France] ; Lorenz Diener [Allemagne] ; Ismael García [Espagne] ; Bruno Jobard [France] ; Carsten Dachsbacher [Allemagne] | A Runtime Cache for Interactive Procedural Modeling |
| 001A49 |
Liliana Cucu-Grosjean [France] ; Luca Santinelli [France] ; Michael Houston [Royaume-Uni] ; Codé Lo [France] ; Tullio Vardanega [Italie] ; Leonidas Kosmidis [Espagne] ; Jaume Abella [Espagne] ; Enrico Mezzeti [Italie] ; Eduardo Quinones [Espagne] ; Francisco J. Cazorla [Espagne] | Measurement-Based Probabilistic Timing Analysis for Multi-path Programs |
| 001C10 |
Thanh Ha Do [France] ; Salvatore Tabbone [France] ; Oriol Ramos-Terrades [Espagne] | Noise suppression over bi-level graphical documents by sparse representation |
| 001C44 |
Francisco J. Cazorla [Espagne] ; Eduardo Quinones [Espagne] ; Tullio Vardanega [Italie] ; Liliana Cucu-Grosjean [France] ; Benoit Triquet [France] ; Guillem Bernat [Royaume-Uni] ; Emery Berger [Espagne] ; Jaume Abella [Espagne] ; Franck Wartel [France] ; Michael Houston [Royaume-Uni] ; Luca Santinelli [France] ; Leonidas Kosmidis [Espagne] ; Codé Lo [France] ; Dorin Maxim [France] | PROARTIS: Probabilistically Analysable Real-Time Systems |
| 001C89 |
Montserrat Manubens [Espagne] ; Guillaume Moroz [France] ; Damien Chablat [France] ; Philippe Wenger [France] ; Fabrice Rouillier [France] | Cusp Points in the Parameter Space of Degenerate 3-RPR Planar Parallel Manipulators |
| 001E93 |
Alessandro Furlan [France] ; Francesco Colombo [Italie] ; Andrea Kover [Espagne] ; Nathalie Issaly [France] ; Cristina Tintori [Italie] ; Lucilla Angeli [Italie] ; Vincent Leroux [France, Norvège] ; Sebastien Letard [France] ; Mercedes Amat [Espagne] ; Yasmine Asses [France] ; Bernard Maigret [France] ; Patrice Dubreuil [France] ; Maurizio Botta [Italie] ; Rosanna Dono [France] ; Joan Bosch [Espagne] ; Oreste Piccolo [Italie] ; Daniele Passarella [Italie] ; Flavio Maina [France] | Identification of new aminoacid amides containing the imidazo[2,1-b] benzothiazol-2-ylphenyl moiety as inhibitors of tumorigenesis by oncogenic Met signaling |
| 001F61 |
Ismael García [Espagne] ; Sylvain Lefebvre [France] ; Samuel Hornus [France] ; Anass Lasram [France] | Coherent Parallel Hashing |
| 001F78 |
José Manuel Cabello [Espagne] ; José María Franco [Espagne] ; Antonio Collado [Espagne] ; Jordi Janer [Espagne] ; Samuel Cruz-Lara [France] ; David Oyarzun [Espagne] ; Albert Armisen [Espagne] ; Roland Geraerts [Pays-Bas] | Standards in Virtual Worlds Virtual Travel Use Case Metaverse1 Project |
| 002158 |
Ernest Valveny [Espagne] ; Matthieu Delalandre [France] ; Romain Raveaux [France] ; Bart Lamiroy [France] | Report on the Symbol Recognition and Spotting Contest |
| 002189 |
Leyre Mestre [Espagne] ; Paula I Igo [Espagne] ; Miriam Mecha [Espagne] ; Fernando Correa [Espagne] ; Miriam Hernang Mez-Herrero [Espagne] ; Frida Loría [Espagne] ; Fabian Docagne [Espagne] ; José Borrell [Espagne] ; Carmen Guaza [Espagne] | Anandamide inhibits Theiler's virus induced VCAM-1 in brain endothelial cells and reduces leukocyte transmigration in a model of blood brain barrier by activation of CB1 receptors. |
| 002605 |
Rocio Gonzalez-Diaz [Espagne] ; Maria-Jose Jimenez [Espagne] ; Belen Medrano [Espagne] | Well-Composed Cell Complexes |
| 002653 |
Javier Baliosian [Uruguay] ; Joan Serrat [Espagne, États-Unis] ; Matias Richart [Uruguay] ; Juan Saavedra [Uruguay] ; Mariela Borba [Uruguay] ; Jose Luis Melus [Espagne] | Policy-Based Pricing for Heterogeneous Wireless Access Networks |
| 002753 |
Ana Pacheco [Espagne] ; Pedro Real [Espagne] | Associating Cell Complexes to Four Dimensional Digital Objects |
| 002816 |
Muriel Visani [France] ; Oriol Ramos Terrades [Espagne] ; Salvatore Tabbone [France] | A protocol to characterize the descriptive power and the complementarity of shape descriptors |
| 002831 |
Samuel Cruz-Lara [France] ; José Manuel Cabello [Espagne] ; Tarik Osswald [France] ; Antonio Collado [Espagne] ; José Manuel Franco [Espagne] ; Sergio Barrera [Espagne] | Tourism in Virtual Worlds: Means, Goals and Needs |
| 002C56 |
Sébastien Macé [Espagne] ; Hervé Locteau [France] ; Ernest Valveny [Espagne] ; Salvatore Tabbone [France] | A System to Detect Rooms in Architectural Floor Plan Images |
| 002D81 |
Francisco Durán ; Manuel Roldan [Espagne] ; Jean-Christophe Bach [France] ; Emilie Balland [France] ; Mark Van Den Brand [Pays-Bas] ; James R. Cordy ; Steven Eker ; Luc Engelen ; Maartje De Jonge ; Karl Trygve Kalleberg [Norvège] ; Lennart C. L. Kats ; Pierre-Etienne Moreau [France] ; Eelco Visser [Pays-Bas] | The Third Rewrite Engines Competition |
| 002D89 |
Hervé Locteau [France] ; Sébastien Macé [Espagne] ; Salvatore Tabbone [France] ; Ernest Valveny [Espagne] | Extraction des pièces d'un plan d'habitation |
| 002E75 |
Laureano Gonzalez-Vega [Espagne] ; Sylvain Lazard [France] | Special Issue on Computational Geometry and Computer-Aided Geometric Design |
| 002F07 |
Salim Jouili [France] ; Salvatore Tabbone [France] ; Ernest Valveny [Espagne] | Comparing Graph Similarity for Graphical Recognition |
| 003068 |
Francisco J. Pino [Colombie, Espagne] ; Maria Teresa Baldassarre [Italie] ; Mario Piattini [Espagne] ; Giuseppe Visaggio [Italie] | Harmonizing maturity levels from CMMI‐DEV and ISO/IEC 15504 |
| 003105 |
Salim Jouili [France] ; Salvatore Tabbone [France] ; Ernest Valveny [Espagne, Canada] | Comparing Graph Similarity Measures for Graphical Recognition |
| 003111 |
Javier De Dios [Espagne] ; Manuel Montenegro [Espagne] ; Ricardo Pe A [Espagne] | Certified Absence of Dangling Pointers in a Language with Explicit Deallocation |
| 003125 |
Muriel Visani [France] ; Oriol Ramos Terrades [Espagne] ; Salvatore Tabbone [France] | A protocol to characterize the descriptive power and the complementarity of shape descriptors |
| 003134 |
Mathieu Delalandre [France, Espagne] ; Jean-Yves Ramel [France] ; Ernest Valveny [Espagne] ; Muhammad Muzzamil Luqman [France, Espagne] | A Performance Characterization Algorithm for Symbol Localization |
| 003145 |
Javier Álvez [Espagne] ; Francisco J. L Pez-Fraguas [Espagne] | A Complete Axiomatization of Strict Equality |
| 003182 |
Gérald Oster [France] ; Rubén Mondejar [Espagne] ; Pascal Molli [France] ; Sergiu Dumitriu [France] | Building a collaborative peer-to-peer wiki system on a structured overlay |
| 003204 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #17 |
| 003228 |
Ronen Brafman [Israël] ; Hector Geffner [Espagne] ; Joerg Hoffmann [France] ; Henry Kautz [États-Unis] | Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS'10) |
| 003250 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #16 |
| 003251 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Periodic Activity Report January 1, 2008 – April 30, 2010 |
| 003347 |
Ivan Diaz [Espagne] ; Cristian Popi [France] ; Olivier Festor [France] ; Juan Tourino [Espagne] ; Ramon Doallo [Espagne] | Ontological Configuration Management for Wireless Mesh Routers |
| 003439 |
Francisco L Pez Fraguas [Espagne] ; Stephan Merz [France] ; Juan Rodríguez Hortalá [Espagne] | A Formalization of the Semantics of Functional-Logic Programming in Isabelle |
| 003461 |
Salim Jouili [France] ; Salvatore Tabbone [France] ; Ernest Valveny [Espagne] | Evaluation of Graph Matching Measures for Documents Retrieval |
| 003514 |
Gérald Oster [France] ; Pascal Molli [France] ; Sergiu Dumitriu [France] ; Rubén Mondéjar [Espagne] | UniWiki: A Collaborative P2P System for Distributed Wiki Applications |
| 003675 |
Rubén Mondéjar [Espagne] ; Garcia Pedro [Espagne] ; Carles Pairot [Espagne] ; Pascal Urso [France] ; Pascal Molli [France] | Designing a distributed AOP runtime composition model |
| 003754 |
Oriol Ramos-Terrades [Espagne] ; Ernest Valveny [Espagne] ; Salvatore Tabbone [France] | Optimal classifiers fusion in a non-Bayesian probabilistic framework |
| 003819 |
Javier Palazuelos [Espagne] ; Tania Aguado [Espagne] ; M. Ruth Pazos [Espagne] ; Boris Julien [Espagne] ; Carolina Carrasco [Espagne] ; Eva Resel [Espagne] ; Onintza Sagredo [Espagne] ; Cristina Benito [Espagne] ; Julián Romero [Espagne] ; I Igo Azcoitia [Espagne] ; Javier Fernández-Ruiz [Espagne] ; Manuel Guzmán [Espagne] ; Ismael Galve-Roperh [Espagne] | Microglial CB2 cannabinoid receptors are neuroprotective in Huntington's disease excitotoxicity |
| 003889 |
Francisco Durán [Espagne] ; Salvador Lucas [Espagne] ; José Meseguer [États-Unis] | Termination Modulo Combinations of Equational Theories |
| 003990 |
Antonio Carrieri [Italie] ; Violeta Pérez-Nueno [Espagne] ; Alessandra Fano ; Carlo Pistone ; David Ritchie [France] ; Jordi Teixid [Espagne] | Biological Profiling of Anti‐HIV Agents and Insight into CCR5 Antagonist Binding Using in silico Techniques |
| 003B62 |
Laura Trapero [Andorre, Espagne] ; Joan Bech [Espagne] ; Tomeu Rigo [Espagne] ; Nicolau Pineda [Espagne] ; David Forcadell [Espagne] | Uncertainty of precipitation estimates in convective events by the Meteorological Service of Catalonia radar network |
| 003B71 |
Oriol Ramos Terrades [Espagne] ; Ernest Valveny [Espagne] ; Salvatore Tabbone [France] | Optimal Classifier Fusion in a Non-Bayesian Probabilistic Framework |
| 003C08 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #15 |
| 003C09 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #14 |
| 003C10 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #12 |
| 003C20 |
Gérald Oster [France] ; Pascal Molli [France] ; Sergiu Dumitriu [France] ; Rubén Mondéjar [Espagne] | UniWiki: A Reliable and Scalable Peer-to-Peer System for Distributing Wiki Applications |
| 003C78 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Updated Joint Programme of Activities (Month 37-48) |
| 003C79 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #13 |
| 003C80 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Periodic Activity Report January 1, 2008 – December 31, 2008 |
| 003E48 |
Frédéric Blanqui [République populaire de Chine] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | The computability path ordering: the end of a quest |
| 004020 |
Mathieu Loiseau [France] ; Myriam Abouzaïd [France] ; Laurence Buson [France] ; Bannour Rachid [France] ; Florinela Comanescu [France] ; Darline Cothière-Robert [France] ; Tatiana El-Khoury [France] ; Antoine Gautier [France] ; Rose-Marie Gerbe [France] ; Mathilde Gonçalves [Portugal] ; Florencia Miranda [Portugal] ; Vannina Goossens [France] ; Cécile Lux [France] ; Iuliana-Anca Mateiu [Roumanie] ; Séverine Morange [France] ; Stéphane Mortreux [France] ; Hiroko Noda [France] ; Sabrina Rasom [Italie] ; Aude Rebotier [France] ; Darine Saïdi [France] ; Carmen Scarlat [France] ; Jennifer Sullivan [Irlande (pays)] ; Christian Surcouf [Suisse] ; Inka Wissner [Allemagne] ; Caroline Cance [France] ; Émilie Cousin [France] ; Hélène Delage [France] ; Anaïg Delanoë [France] ; Gaëlle Delepaut [France] ; Céline Dugua [France] ; Juliette Elie-Deschamps [France] ; Angélique Laurent [France] ; Pascale Leclercq [France] ; Silvia Nieva [Espagne] ; Katérina Palasis-Jourdan [France] ; Anita Thomas [Suède] ; Luc Biichlé [France] ; Anna Ghimenton [France] ; Jeanne Gonac'H [France] ; Aurélie Nardy [France] ; Nathaël Martin [France] ; Pascale Paulin [France] ; Lerato Caroline Pooe [France] ; Séverine Rapanoël [France] ; Sofia Stratilaki [France] ; Maria Zerva [France] ; Dominique Anctil [Canada] ; Évelyne Berger [Suisse] ; Jocelyne Cussac Pomel [France] ; Geneviève Garcia Bourgade [France] ; Juliette Delahaie [France] ; Ali Djaroun [France] ; Bernadette Kervyn [Belgique] ; Sophie Anquetil [France] ; Magdalena Augustyn [France] ; Sabrina Ben Hamou [France] ; Gwendoline Bloquet [France] ; Fanny Rinck [France] ; Cécile Frérot [France] ; Amélie Josselin-Leray [France] ; Anne-Laure Jousse [Canada] ; Bárbara Razola Mayor [France] ; Fabienne Venant [France] ; Antoine Widlöcher [France] ; Frédérik Bilhaut [France] | Autour des langues et du langage |
| 004066 |
Emilie Balland [France] ; Pierre-Etienne Moreau [France] ; Mark Van Den Brand [Pays-Bas] ; Eelco Visser [Pays-Bas] ; Francisco Duran [Espagne] ; Manuel Roldan [Espagne] ; Steven Eker ; Karl Trygve Kalleberg [Norvège] ; Lennart C. L. Kats [Pays-Bas] ; Ruslan Schevchenko | The Second Rewrite Engines Competition |
| 004296 |
Frédéric Cao [France] ; José-Luis Lisani [Espagne] ; Jean-Michel Morel [France] ; Pablo Musé [Uruguay] ; Frédéric Sur [France] | The SIFT Method |
| 004297 |
Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | The Computability Path Ordering: The End of a Quest |
| 004312 |
Frédéric Cao [France] ; José-Luis Lisani [Espagne] ; Jean-Michel Morel [France] ; Pablo Musé [Uruguay] ; Frédéric Sur [France] | Securing SIFT with A Contrario Techniques |
| 004316 |
Frédéric Cao [France] ; José-Luis Lisani [Espagne] ; Jean-Michel Morel [France] ; Pablo Musé [Uruguay] ; Frédéric Sur [France] | Robust Shape Directions |
| 004321 |
Ernest Valveny [Espagne] ; Philippe Dosch [France] ; Alicia Fornés [Espagne] ; Sergio Escalera [Espagne] | Report on the Third Contest on Symbol Recognition |
| 004334 |
Ernest Valveny [Espagne] ; Salvatore Tabbone [France] ; Oriol Ramos [Espagne] ; Emilie Philippot [France] | Performance Characterization of Shape Descriptors for Symbol Representation |
| 004344 |
O. Ramos Terrades [Espagne] ; E. Valveny [Espagne] ; S. Tabbone [France] | On the Combination of Ridgelets Descriptors for Symbol Recognition |
| 004354 |
María Alpuente [Espagne] ; Santiago Escobar [Espagne] ; José Iborra [Espagne] | Modular Termination of Basic Narrowing |
| 004360 |
Frédéric Cao [France] ; José-Luis Lisani [Espagne] ; Jean-Michel Morel [France] ; Pablo Musé [Uruguay] ; Frédéric Sur [France] | Meaningful Matches: Experiments on LLD and MSER |
| 004366 |
Frédéric Cao [France] ; José-Luis Lisani [Espagne] ; Jean-Michel Morel [France] ; Pablo Musé [Uruguay] ; Frédéric Sur [France] | Invariant Level Line Encoding |
| 004367 |
Frédéric Cao [France] ; José-Luis Lisani [Espagne] ; Jean-Michel Morel [France] ; Pablo Musé [Uruguay] ; Frédéric Sur [France] | Introduction |
| 004381 |
Frédéric Cao [France] ; José-Luis Lisani [Espagne] ; Jean-Michel Morel [France] ; Pablo Musé [Uruguay] ; Frédéric Sur [France] | Hierarchical Clustering and Validity Assessment |
| 004382 |
Frédéric Cao [France] ; José-Luis Lisani [Espagne] ; Jean-Michel Morel [France] ; Pablo Musé [Uruguay] ; Frédéric Sur [France] | Grouping Spatially Coherent Meaningful Matches |
| 004390 |
Frédéric Cao [France] ; José-Luis Lisani [Espagne] ; Jean-Michel Morel [France] ; Pablo Musé [Uruguay] ; Frédéric Sur [France] | Extracting Meaningful Curves from Images |
| 004392 |
Amel Toumi-Maouche [Algérie, France] ; Boubekeur Maouche [Algérie] ; Safia Taïri-Kellou [Algérie] ; Salima El-Aoufi [Algérie] ; Mercedes Martín-Martínez [Espagne] ; Rosario González-Mu Iz [Espagne] ; Daniel Fourmy [France] ; Bernard Maigret [France] | Exploring the binding pocket for pyridopyrimidine ligands at the CCK1 receptor by molecular docking |
| 004394 |
Frédéric Cao [France] ; José-Luis Lisani [Espagne] ; Jean-Michel Morel [France] ; Pablo Musé [Uruguay] ; Frédéric Sur [France] | Experimental Results |
| 004435 |
Javier Álvez [Espagne] ; Paqui Lucio [Espagne] | A Generalization of the Folding Rule for the Clark-Kunen Semantics |
| 004436 |
Frédéric Cao [France] ; José-Luis Lisani [Espagne] ; Jean-Michel Morel [France] ; Pablo Musé [Uruguay] ; Frédéric Sur [France] | A Contrario Decision: the LLD Method |
| 004493 |
Olivier Festor [France] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; Gabi Dreo ; Burkhard Stiller ; Ramin Sadre ; David Hausheer | D0.9 : Quaterly Management Report 9 |
| 004494 |
Olivier Festor [France] ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; Radu State [France] | D0.8 : Quaterly Management Report 8 |
| 004495 |
Olivier Festor [France] ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; David Hausheer ; Burkhard Stiller | D0.11 : Quarterly Management Report 11 |
| 004496 |
Olivier Festor [France] ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; David Hausheer ; Ramin Sadre ; Burkhard Stiller | D0.10 : Quarterly Management Report 10 |
| 004556 |
Olivier Festor [France] ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; Radu State [France] ; Burkhard Stiller | Joint Programme of Activities (month 25-42) for the EMANICS Network of Excellence |
| 004579 |
Olivier Festor [France] ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; Radu State [France] ; Burkhard Stiller | EMANICS Periodic Activity Report January 1, 2007 – December 31, 2007 |
| 004613 |
Frédéric Cao [France] ; Jose Luis Lisani [Espagne] ; Jean-Michel Morel [France] ; Pablo Musé [Uruguay] ; Frédéric Sur [France] | A Theory of Shape Identification |
| 004697 |
Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | HORPO with Computability Closure : A Reconstruction |
| 004729 |
Marçal Rusi Ol [Espagne] ; Josep Llad S [Espagne] ; Philippe Dosch [France] | Camera-Based Graphical Symbol Detection |
| 004750 |
Joan Mas Romeu [Espagne] ; Gemma Sanchez [Espagne] ; Josep Llados [Espagne] ; Bart Lamiroy [France] | An Incremental On-line Parsing Algorithm for Recognizing Sketching Diagrams |
| 004756 |
Ernest Valveny [Espagne] ; Salvatore Tabbone [France] ; Oriol Ramos Terrades [Espagne] ; Emilie Phillippot [France] | Performance Characterization of Shape Descriptors for Symbol Representation |
| 004758 |
Oriol Ramos Terrades [Espagne] ; Salvatore Tabbone [France] ; Ernest Valveny [Espagne] | On the Combination of Ridgelets Descriptors for Symbol Recognition |
| 004762 |
Oriol Ramos Terrades [Espagne] ; Salvatore Tabbone [France] ; Ernest Valveny [Espagne] | A review of shape descriptors for document analysis |
| 004951 |
Nacer Boudjlida [France] ; Hervé Panetto [France] ; Salah Baïna [France] ; Claudia Diamantini [Italie] ; John Krogstie [Norvège] ; Yun Lin [Norvège] ; Joao Sarraipa [Portugal] ; Nabila Zouggar [France] ; Axel Hahn [Allemagne] ; Marco Delgado [Espagne] ; Miguel-Angel Abian [Espagne] ; Maria-José Nunez [Espagne] | DTG4.2: Experimental Semantic Enrichment of Enterprise Models for Interoperability and its Practical Impact |
| 004A22 |
Oriol Ramos Terrades [Espagne] ; Salvatore Tabbone [France] ; Ernest Valveny [Espagne] | Optimal Linear Combination for Two-Class Classifiers |
| 004B81 |
Francisco J. Pino [Colombie, Espagne] ; Félix García [Espagne] ; Mario Piattini [Espagne] | Software process improvement in small and medium software enterprises: a systematic review |
| 004C21 |
David Bueno [Espagne] ; Ricardo Conejo [Espagne] ; Amos A. David [France] ; Cristina Carmona [Espagne] | NBM and WNBM: Algorithms and Evaluation for Personalizing Information Retrieval in METIORE |
| 004C56 |
Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | HORPO with Computability Closure: A Reconstruction |
| 004C69 |
Anouk Guiné [France] ; Francisco Javier Moreno Fuentes [Espagne] | Engendering Redistribution, Recognition, and Representation: The Case of Female Genital Mutilation (FGM) in the United Kingdom and France |
| 004C97 |
Marçal Rusi Ol [Espagne] ; Philippe Dosch [France] ; Josep Llad S [Espagne] | Boundary Shape Recognition Using Accumulated Length and Angle Information |
| 004D27 |
Iria Da Cunha [Espagne, États-Unis] ; Silvia Fernández [France] ; Patricia Velázquez Morales [Espagne] ; Jorge Vivaldi [Espagne, États-Unis] ; Eric Sanjuan [France] ; Juan Manuel Torres-Moreno [France, Canada] | A New Hybrid Summarizer Based on Vector Space Model, Statistical Physics and Linguistics |
| 004E57 |
Rémi Badonnel [France] ; Mar Burgess [Norvège] ; Oscar Fredy [Espagne] ; Duque Gonzalez [Espagne] ; Antonis Hadjiantonis [Royaume-Uni] ; Iris Hochstatter [Allemagne] ; Ralf Koenig [Allemagne] ; Emil Lupu [Royaume-Uni] ; Apostolos Malatras [Royaume-Uni] ; Krzysztof Nowak [Pologne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Javier Rubio-Loyola [Espagne] ; Juergen Schoewaelder [Allemagne] ; Joan Serrat [Espagne] ; Rolf Stadler [Suède] ; Tarun Varma [Suède] | Next Generation Management Technologies and Approaches to Support Autonomic Management |
| 005024 |
Joan Mas Romeu [Espagne] ; Bart Lamiroy [France] ; Gemma Sánchez [Espagne] ; Josep Llad S [Espagne] | Automatic Learning of Symbol Descriptions Avoiding Topological Ambiguities |
| 005048 |
Joan Mas Romeu [Espagne] ; Bart Lamiroy [France] ; Gemma Sánchez [Espagne] ; Josep Llad S [Espagne] | Automatic Adjacency Grammar Generation from User Drawn Sketches |
| 005119 |
A. Potamianos [Grèce] ; Ghazi Bouselmi [France] ; D. Dimitriadis [Grèce] ; Dominique Fohr [France] ; R. Gemello [Italie] ; Irina Illina [France] ; F. Mana [Italie] ; P. Maragos [Grèce] ; M. Matassoni [Italie] ; V. Pitsikalis [Grèce] ; J. Ramirez [Espagne] ; E. Sanchez-Soto [Grèce] ; J. Segura [Espagne] ; P. Svaizer [Italie] | Towards Speaker and Environmental Robustness in ASR: The HIWIRE Project |
| 005262 |
Jean-Pierre Mano [France] ; Christine Bourjot [France] ; Gabriel Lopardo [Espagne] ; Pierre Glize [France] | Bio-inspired Mechanisms for Artificial Self-organised Systems |
| 005377 |
Santos Vicente [Espagne] ; María Pérez [Espagne] ; Xavier García [Espagne] ; Ana Gimeno [Espagne] ; Javier Naval [Espagne] | Terregov: eGoverment Interoperability on a Semantically Driven World |
| 005395 |
M. Alpuente [Espagne] ; D. Ballis [Italie] ; M. Falaschi [Italie] | Rule-based verification of Web sites |
| 005399 |
Philippe Dosch [France] ; Ernest Valveny [Espagne] | Report on the Second Symbol Recognition Contest |
| 005422 |
Salvador Lucas [Espagne] | On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting |
| 005445 |
Paola Velardi [Italie] ; Raúl Poler [Espagne] ; José V. Tomás [Espagne] | Methodology for the Definition of a Glossary in a Collaborative Research Project and its Application to a European Network of Excellence |
| 005470 |
Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | Higher-Order Termination: From Kruskal to Computability |
| 005543 |
E. Valveny [Espagne] ; P. Dosch [France] ; Adam Winstanley [Irlande (pays)] ; Yu Zhou [Irlande (pays)] ; Su Yang [République populaire de Chine] ; Luo Yan [République populaire de Chine, Hong Kong] ; Liu Wenyin [République populaire de Chine, Hong Kong] ; Dave Elliman [Royaume-Uni] ; Mathieu Delalandre [France] ; Eric Trupin [France] ; Sébastien Adam [France] ; Jean-Marc Ogier [France] | A general framework for the evaluation of symbol recognition methods |
| 005591 |
Dominique Colnet [France] ; Guillem Marpons [Espagne] ; Frederic Merizen [France] | Reconciling subtyping and code reuse in object-oriented languages : Using inherit and insert in smarteiffel, the GNU eiffel compiler |
| 005631 |
Gil Francopoulo [France] ; Monte George [États-Unis] ; Nicoletta Calzolari [Italie] ; Monica Monachini [Italie] ; Nuria Bel [Espagne] ; Mandy Pet [États-Unis] ; Claudia Soria [Italie] | LMF for multilingual, specialized lexicons |
| 005750 |
Gil Francopoulo [France] ; Nuria Bel [Espagne] ; Monte George [États-Unis] ; Nicoletta Calzolari [Italie] ; Monica Monachini [Italie] ; Mandy Pet [États-Unis] ; Claudia Soria [Italie] | Lexical markup framework (LMF) for NLP multilingual resources |
| 005751 |
Gil Francopoulo [France] ; Monte George [États-Unis] ; Nicoletta Calzolari [Italie] ; Monica Monachini [Italie] ; Nuria Bel [Espagne] ; Mandy Pet [États-Unis] ; Claudia Soria [Italie] | Lexical Markup Framework (LMF) |
| 005791 |
Nacer Boudjlida [France] ; Cheng Dong [France] ; Salah Baïna [France] ; Hervé Panetto [France] ; José Tomas [Espagne] ; Miguel-Angel Abian [Espagne] ; Nabila Zouggar [France] ; Maria-José Nunez [Espagne] | DTG4.1: A practical experiment on semantic enrichment in a homogeneous environment |
| 005929 |
Jordi Casademont [Espagne] ; Ferran Perdrix [Espagne] ; Martin Einhoff [Allemagne] ; Josep Paradells [Espagne] ; Georg Dummer [Allemagne] ; Anne Boyer [France] | ELIN: A Newspaper Universal Multimedia Access Platform Based on Mpeg Standards |
| 005941 |
Philippe Dosch [France] ; Ernest Valveny [Espagne] | Report on the Second Symbol Recognition Contest |
| 005981 |
Jordi Casademont [Espagne] ; Ferran Perdrix [Espagne] ; Martin Einhoff [Allemagne] ; Josep Paradells [Espagne] ; Georg Dummer [Allemagne] ; Anne Boyer [France] | ELIN: A Framework to Deliver Media content in an Efficient way Based in MPEG Standards |
| 006216 |
Mirtha-Lina Fernández [Cuba] ; Guillem Godoy [Espagne] ; Albert Rubio [Espagne] | Orderings for Innermost Termination |
| 006559 |
Pablo Musé [France] ; Frédéric Sur [France] ; Frédéric Cao [France] ; Jose Luis Lisani [Espagne] ; Jean-Michel Morel [France] | A Theory of Shape Identification |
| 006B06 |
Philippe Dosch [France] ; Josep Llad S [Espagne] | Vectorial Signatures for Symbol Discrimination |
| 006B23 |
Ernest Valveny [Espagne] ; Philippe Dosch [France] | Symbol Recognition Contest: A Synthesis |
| 006B45 |
Miquel Bofill [Espagne] ; Albert Rubio [Espagne] | Redundancy Notions for Paramodulation with Non-monotonic Orderings |
| 006B50 |
Ernest Valveny [Espagne] ; Philippe Dosch [France] | Performance Evaluation of Symbol Recognition |
| 006C07 |
Ángel J. Gil [Espagne, États-Unis] ; Miki Hermann [France] ; Gernot Salzer [Autriche] ; Bruno Zanuttini [France] | Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains |
| 006C21 |
Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] | Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure |
| 006C27 |
Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] ; Rakesh Verma [États-Unis] | Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems |
| 006C81 |
P. Sans [France] ; G. De Fontguyon [France] ; J. Briz [Espagne] | Conséquences des crises de l'ESB sur la segmentation de l'offre en viande bovine : Exemples de stratégies de la grande distribution en Espagne et en France |
| 006C89 |
Ernest Valvenyl [Espagne] ; Philippe Dosch [France] | Symbol recognition contest: A synthesis |
| 007883 |
Mercè Avellanet ; Meritxell Fiter ; Eva Cirera [Espagne] ; Margarida Coll | Prevalence of urinary incontinence in Andorra: impact on women's health. |
| 007972 |
Julio Abascal [Espagne] ; Myriam Arrue [Espagne] ; Nestor Garay [Espagne] ; Jorge Tomás [Espagne] | USERfit Tool . A Tool to Facilitate Design for All |
| 007A01 |
M. Mercedes Martínez [Espagne] ; Pablo De La Fuente [Espagne] ; Jean-Claude Derniame [France] ; Alberto Pedrero [Espagne] | Relationship-Based Dynamic Versioning of Evolving Legal Documents |
| 007B08 |
Xavier Franch [Espagne] ; Josep M. Rib [Espagne] | A UML-Based Approach to Enhance Reuse within Process Technology |
| 007B70 |
A. Velasco-Negueruela [Espagne] ; M. J. Perez-Alonso [Espagne] ; P. L. Perez De Paz [Espagne] ; J. Pala-Paul [Espagne] ; J. Sanz [Espagne] | Analysis by gas chromatography-mass spectrometry of the essential oils from the aerial parts of Rutheopsis herbanica (Bolle) Hans. & Kunk., gathered in Fuerteventura (Canary Islands) |
| 008741 |
Miguel García-Díaz [Espagne] ; Susana Nieva [Espagne] | Solving Mixed Quantified Constraints over a Domain Based on $$\mathcal{R}$$eal Numbers and $$\mathcal{H}$$erbrand Terms |
| 008752 |
María Alpuente [Espagne] ; Santiago Escobar [Espagne] ; Salvador Lucas [Espagne] | Removing Redundant Arguments of Functions* |
| 008782 |
David Bueno [Espagne] ; Ricardo Conejo [Espagne] ; Amos A. David [France] | METIOREW: An Objective Oriented Content Based and Collaborative Recommending System |
| 008783 |
David Bueno [Espagne] ; Ricardo Conejo [Espagne] ; Cristina Carmona [Espagne] ; Amos A. David [France] | METIORE: A Publications Reference for the Adaptive Hypermedia Community |
| 008792 |
João Araújo [Portugal] ; Jonathan Whittle [États-Unis] ; Ambrosio Toval [Espagne] ; Robert France [États-Unis] | Integration and Transformation of UML Models |
| 008843 |
Gemma Sánchez [Espagne, France] ; Josep Llad S [Espagne] ; Karl Tombre [France] | An Error-Correction Graph Grammar to Recognize Texture Symbols |
| 008868 |
Gilles Ardourel [France] ; Michael Haupt [Allemagne] ; José Luis Herrero Agustín [Espagne] ; Rainer Ruggaber [Allemagne] ; Charles Suscheck [États-Unis] | 11th Workshop for PhD Students in Object-Oriented Systems |
| 008B85 |
Gemma Sánchez [Espagne] ; Josep Llad S [Espagne] ; Karl Tombre [France] | An Error-Correction Graph Grammar to Recognize Texture Symbols |
| 008C44 |
M. Martinez [Espagne] ; S. Cruz-Lara [France] ; P. De La Fuente [Espagne] ; J. C. Derniame [France] | La génération de documents virtuels dans les bibliothèques électroniques : application aux textes juridiques |
| 009332 |
David Bueno [Espagne] ; Amos A. David [France] | METIORE: A Personalized Information Retrieval System |
| 009402 |
Miguel A. Alonso [Espagne] ; Eric De La Clergerie [France] ; Manuel Vilares [Espagne] | A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique |
| 009423 |
M. Mercedes Martinez [Espagne] ; Samuel Cruz-Lara [France] ; Pablo De La Fuente [Espagne] ; Jean-Claude Derniame [France] | La génération de documents virtuels dans les bibliothèques électroniques : application aux textes juridiques |
| 009448 |
Arantza Casillas [Espagne] ; Raquel Martinez [États-Unis] | Bitext segmentation and alignment for specialized document composition |
| 009690 |
Gemma Sánchez [France] ; Josep Llad S [Espagne] ; Karl Tombre [France] | An Error-Correction Graph Grammar to Recognize Textured Symbols |
| 009D22 |
H. Everett [France] ; C. T. Hoàng [France, Canada] ; K. Kilakos [France, Royaume-Uni] ; M. Noy [France, Espagne] | Planar segment visibility graphs |
| 009E25 |
Paqui Lucio [Espagne] | Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic |
| 009E55 |
Jordi Levy [Espagne] ; Margus Veanes [Colombie] | On the Undecidability of Second-Order Unification |
| 009E62 |
Miquel Bofill [Espagne] ; Guillem Godoy [Espagne] ; Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Modular Redundancy for Theorem Proving |
| 009E65 |
J. M. Buades [Espagne] ; R. Mas [Espagne] ; F. J. Perales [Espagne] | Matching a Human Walking Sequence with a VRML Synthetic Model |
| 009E81 |
Hubert Comon [France] ; Robert Nieuwenhuis [Espagne] | Induction=I-Axiomatization+First-Order Consistency |
| 00A464 |
Hazel Everett [France] ; Ferran Hurtado [Espagne] ; Marc Noy [Espagne] | Stabbing information of a simple polygon |
| 00A900 |
Xavier Franch [Espagne] ; Josep M. Rib [Espagne] | Using UML for Modelling the Static Part of a Software Process |
| 00A901 |
Julio Mari O [Espagne] ; Juan José Moreno-Navarro [Espagne] | Using Static Analysis to Compile Non-sequential Functional Logic Programs? |
| 00A920 |
M. Clavel [Espagne] ; F. Durán [États-Unis] ; S. Eker [États-Unis] ; P. Lincoln [États-Unis] ; N. Martí-Oliet [Espagne] ; J. Meseguer [Espagne] ; J. F. Quesada [Espagne] | The Maude System |
| 00A931 |
F. J. L Pez Fraguas [Espagne] ; J. Sánchez Hernández [Espagne] | TOY : A Multiparadigm Declarative System |
| 00A938 |
Robert Nieuwenhuis [Espagne] ; José Miguel Rivero [Espagne] | Solved Forms for Path Ordering Constraints |
| 00A984 |
Robert Nieuwenhuis [Espagne] | Invited Talk: Rewrite-Based Deduction and Symbolic Constraints |
| 00AA11 |
Philippe Dosch [France] ; Christian Ah-Soon [France] ; Gérald Masini [France] ; Gemma Sénchez1 [France, Espagne] ; Karl Tombre [France] | Design of an Integrated Environment for the Automated Analysis of Architectural Drawings⋆ |
| 00AA43 |
Manuel Vilares [Espagne] ; Miguel A. Alonso [Espagne] ; David Cabrero [Espagne] | An Operational Model for Parsing De.nite Clause Grammars with In.nite Terms |
| 00AA64 |
Albert Rubio [Espagne] | A Fully Syntactic AC-RPO |
| 00B248 |
Marie-Madeleine Rohmer [France] ; Marc Bénard [France] ; Jean-Philippe Blaudeau [France] ; Juan-M Maestre [Espagne] ; Josep-M Poblet [Espagne] | From Lindqvist and Keggin ions to electronically inverse hosts |
| 00BB34 |
M. Sturm [Allemagne] ; K. Eder [Allemagne] ; W. Brauer [Allemagne] ; J. C. González [Espagne] | Hybridization of neural and fuzzy systems by a multi agent architecture for motor gearbox control |
| 00BC26 |
Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Paramodulation with Built-in AC-Theories and Symbolic Constraints |
| 00C029 |
Sergio Bandinelli [Espagne] | Report on the Workshop of Software process Environment Architecture |
| 00C056 |
Carlos A. Iglesias [Espagne] ; José C. González [Espagne] ; Juan R. Velasco [Espagne] | MIX: A general purpose multiagent architecture |
| 00C611 |
Juan J. Galán Vega [Espagne] ; Agustín González-Quel | The development of an Artificial Intelligence real-time toolkit: REAKT |
| 00C649 |
Maria Alpuente [Espagne] ; Moreno Falaschi [Espagne] ; Ferdinando Manzo [Espagne] | Analyses of unsatisfiability for equational logic programming |
| 00C651 |
F. Alonso-Amo [Espagne] ; A. G Mez Pérez [Espagne] ; G. L Pez G Mez [Espagne] ; C. Montes [Espagne] | An expert system for homeopathic glaucoma treatment (SEHO) |
| 00CC89 |
S. Clérici [Espagne] ; R. Jiménez [Espagne] ; F. Orejas [Espagne] | Semantic constructions in the specification language Glider |
| 00CD56 |
Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | AC-superposition with constraints: No AC-unifiers needed |
| 00D208 |
Marisa Navarro [Espagne] ; Fernando Orejas [Espagne] ; Jean-Luc Remy [France] | Contextual rewriting as a sound and complete proof method for conditional LOG-specifications |
| 00D689 |
Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Basic superposition is complete |
| 00E008 |
Amparo Alonso-Betanzos [États-Unis] ; Lawrence D. Devoe [États-Unis] ; Ram N A. Castillo [États-Unis] ; Vicente Moret-Bonillo [États-Unis] ; Carlos Hernández-Sande [Espagne] ; Nancy S. Searle [États-Unis] | FOETOS in clinical practice: A retrospective analysis of its performance |
| 00EB96 |
J. A Martínez-Lozano [Espagne] ; F. Tena [Espagne] ; J. E Onrubia [Espagne] ; J. De La Rubia [Espagne] | The historical evolution of the Ångström formula and its modifications: Review and bibliography |
| 00EC47 |
Elena De La Cuesta [Espagne] ; Paloma Ballesteros [Espagne] ; Gregorio G. Trigo [Espagne] | Anti‐influenza a activity of some N‐substituted bicyclo[3.2.1]octane‐3‐spiro‐3′‐pyrrolidine hydrochlorides: Synthesis and structure |
| 00EE28 |
F. Orejas [Espagne] | On the representation of data types |
